Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
341	Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-06-27 16:34:36 Computing Logic in computer science Computer memory Memory barrier Abstraction Abstract interpretation Algorithm Formal verification Parallel computing Mathematics Theoretical computer science Applied mathematics
342	Abstraction-Guided Synthesis of Synchronization Martin Vechev Eran Yahav Greta Yorsh Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:26 Function Abstraction Mereology Valuation Mathematics Mathematical logic Abstract interpretation
343	ELENCHOS[removed]ABSTRACTS MIKOLAJ DOMARADZKI THEAGENES OF RHEGIUM AND THE RISE OF ALLEGORICAL INTERPRETATION Abstract The present paper investigates the pivotal role that Theagenes of Rhegium came to play in the Add to Reading List Source URL: www.bibliopolis.it Language: English - Date: 2012-01-09 15:02:59 Ancient Greek philosophers Plato Aristotle Antiochus of Ascalon Theagenes of Rhegium Idealism Socrates Theophrastus Metaphysics Philosophy 1st millennium BC Humanities
344	Monitoring of Temporal First-order Properties with Aggregations David Basin, Felix Klaedtke, Srdjan Marinovic, and Eugen Z˘alinescu Institute of Information Security, ETH Zurich, Switzerland Abstract. Compliance polici Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-02-25 06:27:38 Mathematics Operator theory Μ operator Interpretation Symbol First-order logic Function Operator Linear temporal logic Mathematical logic Logic Model theory
345	BOOLEAN METHODS IN THE THEORY OF VECTOR LATTICES A. G. KUSRAEV AND S. S. KUTATELADZE Abstract. This is an overview of the recent results of interaction of Boolean valued analysis and vector lattice theory. Add to Reading List Source URL: www.math.nsc.ru Language: English - Date: 2015-01-30 06:09:18 Model theory Forcing Boolean algebra Algebraic structures Algebraic logic Boolean-valued model Symbol Interpretation First-order logic Mathematical logic Mathematics Logic
346	1 The Return of Factor Theory Roland Backhouse NWPT, 21st November 2002 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-12-10 07:52:04 Order theory Function Spectral theory Adjoint functors Spectral theory of ordinary differential equations Mathematics Abstract interpretation Galois connection
347	On the Use and Interpretation of Root Infinitives in Early Child Dutch Elma Blom 1 Abstract Early last century, Van Ginneken[removed]observed that Dutch children use nonfinite utterances to refer to wishes, desires and ne Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2007-10-24 09:21:06 Grammar Modal verb Linguistic modality Deontic modality Infinitive Auxiliary verb Verb Irrealis mood English modal verb Linguistics Grammatical moods Syntax
348	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-03-29 19:34:46 Computer science Logic in computer science Programming language semantics Computability theory Formal methods Operational semantics Lambda calculus Denotational semantics Abstract interpretation Theoretical computer science Models of computation Applied mathematics
349	Logic in General Philosophy of Science: Old Things and New Things Hannes Leitgeb Departments of Philosophy and Mathematics University of Bristol Abstract. This is a personal, incomplete, and very informal take on the rol Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English - Date: 2014-01-14 06:12:06 Philosophy of science Philosophical logic Model theory Epistemology Formal languages Philosophy of mathematics Logical positivism Rudolf Carnap Interpretation Logic Science Philosophy
350	Section for Court Interpreters of the Association of Scientific and Technical Translators of Slovenia Abstract The article outlines the work of the Section for Court Interpreters of the Association of Scientific and Tec Add to Reading List Source URL: eulita.eu Language: English - Date: 2014-09-12 02:32:59 Meaning Interpretation Translation studies Association of Maine Interpreters and Translators Pacific Interpreters Translation Language interpretation Legal translation

UPDATE